nLab Yuri Ximenes Martins

About

I’m a Brazilian researcher and software developer working on abstraction processes applied to Mathematics, Physics, Philosophy and Computer Science.

Currently I’m in a Software Developer position at Magalu Cloud, the first Brazilian public cloud provider.

I’m also an active Linux user and a Vim lover.

Math-Phys-Cat

I was one of the founders and the developer of the Math-Phys-Cat Group, a Brazilian research group.

Development

Some projects I’m involved:

• typed: a framework to implement a typed solution to Python, enforcing universal constructions. No dependencies.
• cli: a lib to quickly build cli’s in Python in a fastapi-like syntax. No dependencies.
• app: a framework to build Python web applications (from static pages to APIs) presenting type safety. Uses typed. Minor dependencies.

Links

• webpage
• arxiv
• orcid
• hal
• github

category: people